Cursos de profissionalização em inteligência artificial foram a opção de mais de 10 mil estudantes matriculados no Senai em 2023